-
1 categorical identity
Большой англо-русский и русско-английский словарь > categorical identity
-
2 categorical identity
Математика: категорийная единица -
3 categorical identity
мат.English-Russian scientific dictionary > categorical identity
-
4 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
-
5 категорийная единица
Большой англо-русский и русско-английский словарь > категорийная единица
-
6 algebra
algebra with minimality condition — алгебра с условием минимальности, алгебра с условием обрыва убывающих цепей
algebra with maximality condition — алгебра с условием максимальности, алгебра с условием обрыва возрастающих цепей
-
7 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
8 semigroup
мат.полугруппа, квазигруппа- almost unitary semigroup - completely simple semigroup - finitely convergent semigroup - finitely generated semigroup - finitely presented semigroup - fully reducible semigroup - left cancellative semigroup - left concentric semigroup - left zero semigroup - right cancellative semigroup - right concentric semigroup - right zero semigroup - self-adjoint semigroup - self-conjugate semigroup - semigroup of right translations - strongly continuous semigroup - strongly integrable semigroup - strongly measurable semigroup - strongly reversible semigroup - totally primitive semigroup - totally regular semigroup - totally simple semigroup - weakly reductive semigroup -
9 morphism
морфизм dually universal morphism ≈ двойственно универсальный морфизм fiber bundle morphism ≈ морфизм расслоенного пространства left regular morphism ≈ регулярный слева морфизм local vector bundle morphism ≈ локальный морфизм векторных расслоений locally embeddable morphism ≈ локально вложимый морфизм locally stable morphism ≈ локально устойчивый морфизм locally trivial morphism ≈ локально тривиальный морфизм principal bundle morphism ≈ морфизм главных расслоений projectively embeddable morphism ≈ проективно вложимый морфизм purely inseparable morphism ≈ чисто несепарабельный морфизм residually stable morphism ≈ резидуально устойчивый морфизм right liberty morphism ≈ освобождающий справа морфизм right regular morphism ≈ регулярный справа морфизм universally closed morphism ≈ универсально замкнутый морфизм universally submersive morphism ≈ универсально субмерсивный морфизм - bijective morphism - bilogical morphism - bimeromorphic morphism - birational morphism - bounded morphism - bundle morphism - canonical morphism - categorical morphism - central morphism - clone morphism - closed morphism - cobounded morphism - codiagonal morphism - coequating morphism - coessential morphism - coimage of morphism - coliberty morphism - commutator morphism - compactifiable morphism - compatibility morphism - composite morphism - connecting morphism - coperfect morphism - covering morphism - divisible morphism - dominant morphism - dual morphism - embeddable morphism - epic morphism - etale morphism - extendable morphism - factored morphism - factorial morphism - fibered morphism - finite morphism - flat morphism - functorial morphism - fuzzy morphism - general morphism - geometric morphism - graded morphism - groupoid morphism - homotopic morphism - identity morphism - index of morphism - induced morphism - inductive morphism - injective morphism - inseparable morphism - invertible morphism - kernel of morphism - lattice morphism - liftable morphism - limit morphism - manifold morphism - monic morphism - morphism of colimit - morphism of complexes - morphism of functors - morphism of limit - morphism of manifolds - morphism of premanifold - morphism of presheafs - morphism of rings - morphism of semigroups - morphism of sheafs - natural morphism - neighbor morphism - nonstrict morphism - nontrivial morphism - open morphism - periodicity morphism - pregroup morphism - projective morphism - proper morphism - pseudosmooth morphism - quasicompact morphism - quasifinite morphism - quasiprojective morphism - quotient morphism - ramified morphism - restriction morphism - semilattice morphism - separated morphism - shape morphism - simplicial morphism - splitting morphism - stable morphism - strong morphism - submersive morphism - substitution morphism - surjective morphism - terminal morphism - topological morphism - trace morphism - transfer morphism - transversal morphism - universal morphism - unramified morphism - zero morphism (математика) морфизмБольшой англо-русский и русско-английский словарь > morphism
-
10 axiom
аксиома, постулат -
11 ideal
1) идеал, предел совершенства || идеальный2) матем. идеал3) мысленный, нереальный, воображаемый•- absolutely unramified ideal - completely simple ideal - disjunctive ideal - invertible ideal - strongly primary ideal - strongly ramified ideal - zero ideal -
12 morphism
-
13 resolution
1) разделение; разложение на составные части; разборка; демонтаж2) раразрешающая способность, разрешение3) растворение4) расщепление5) хим. пептизация (расщепление агрегатов, возникших при коагуляции дисперсных систем, на первичные частицы под действием жидкой среды)6) мат. резольвента || резольвентный7) резолюция, решение•
См. также в других словарях:
Categorical imperative — Part of a series on Immanue … Wikipedia
Categorical algebra — In category theory, a field of mathematics, a categorical algebra is an associative algebra, defined for any locally finite category and commutative ring with unity.It generalizes the notions of group algebra and incidence algebra,just as… … Wikipedia
Self-hating Jew — (or self loathing Jew) is a term used to describe a Jew who feels hatred toward his or her Jewish ancestry or other Jews. Several Jewish writers and activists critical of Israel or Zionism have alleged the phrase being inaccurately used against… … Wikipedia
Minimalism — This article is about the concept in the arts. For other uses, see Minimalism (disambiguation). Minimalism describes movements in various forms of art and design, especially visual art and music, where the work is stripped down to its most… … Wikipedia
Donald Judd — Donald Judd, American Visions: The Age of Anxiety, 1997. Premiered on BBC. Birth name Donald Clarence Judd … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Adjoint functors — Adjunction redirects here. For the construction in field theory, see Adjunction (field theory). For the construction in topology, see Adjunction space. In mathematics, adjoint functors are pairs of functors which stand in a particular… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Speech perception — is the process by which the sounds of language are heard, interpreted and understood. The study of speech perception is closely linked to the fields of phonetics and phonology in linguistics and cognitive psychology and perception in psychology.… … Wikipedia